<html>
  <body>
    Classes for operating on vector clocks and dealing with distributed state.
  </body>
</html>